Type system

Results: 9144



#Item
31A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit

A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2017-06-23 18:20:16
    32A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

    A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

    Add to Reading List

    Source URL: www.andrew.cmu.edu

    - Date: 2018-02-12 22:13:01
      33MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

      MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        34Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

        Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

        Add to Reading List

        Source URL: lirias.kuleuven.be

        - Date: 2017-07-28 06:42:57
          35Another Type System for In-Place Update David Aspinall1 and Martin Hofmann2 1 2

          Another Type System for In-Place Update David Aspinall1 and Martin Hofmann2 1 2

          Add to Reading List

          Source URL: www.tcs.ifi.lmu.de

          - Date: 2015-05-05 07:33:01
            36Gradual Set-Theoretic Types Victor Lanvin ENS Paris-Saclay Problem and motivation. A static type system can be an extremely powerful tool for a programmer, providing early error detection, an

            Gradual Set-Theoretic Types Victor Lanvin ENS Paris-Saclay Problem and motivation. A static type system can be an extremely powerful tool for a programmer, providing early error detection, an

            Add to Reading List

            Source URL: src.acm.org

            - Date: 2017-05-12 11:25:49
              37Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

              Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

              Add to Reading List

              Source URL: people.cs.kuleuven.be

              - Date: 2017-07-28 06:55:52
                38this version: February 9, :34 The FMathL type system Peter Schodl Arnold Neumaier Fakult¨

                this version: February 9, :34 The FMathL type system Peter Schodl Arnold Neumaier Fakult¨

                Add to Reading List

                Source URL: www.mat.univie.ac.at

                - Date: 2011-02-10 11:26:08
                  39vSphere 5.5 ESXTOP quick Overview for Troubleshooting CPU c – Fields: D F ESXTOP Command overview... For changing to the different views type: m

                  vSphere 5.5 ESXTOP quick Overview for Troubleshooting CPU c – Fields: D F ESXTOP Command overview... For changing to the different views type: m

                  Add to Reading List

                  Source URL: www.running-system.com

                  - Date: 2016-11-15 13:07:59
                    40Solar Photovoltaic Systems – What you need to know GENERAL INFORMATION Tell me about solar systems that produce electricity. A solar photovoltaic (PV) system is a type of renewable generation system (RGS) where a consu

                    Solar Photovoltaic Systems – What you need to know GENERAL INFORMATION Tell me about solar systems that produce electricity. A solar photovoltaic (PV) system is a type of renewable generation system (RGS) where a consu

                    Add to Reading List

                    Source URL: lcec.net

                    - Date: 2016-01-29 12:53:52